Eecient Implementation of Interval Arithmetic Narrowing Using Ieee Arithmetic
نویسنده
چکیده
We present and analyze several implementations of the interval arithmetic narrowing function for multiplication. Starting from the Cleary algorithm for narrowing multiplication we describe two optimizations which produce code that is 10-15 times faster on the average. Finally, we propose a few simple RISC instructions which would allow eecient execution of interval arithmetic and narrowing routines. These new instructions require a new rounding mode which extends the \round-toward-innnity" mode of the IEEE 754 oating point standard.
منابع مشابه
Interval Arithmetic: an Efficient Implementation and an Application to Computational Geometry
We discuss interval techniques for speeding up the exact evaluation of geometric predicates and describe a C++ implementation of interval arithmetic that is strongly innuenced by the rounding modes of the widely used IEEE 754 standard. Using this approach we engineer an eecient oating point lter for the computation of geometric predicates. We validate our approach experimentally, comparing it w...
متن کاملInterval operations involving NaNs
Ten years ago IEEE standard 1] for oating-point arithmetic became oocial. Each IEEE oating-point format supports: its own set of nite real numbers, 1, two distinguished values +0 and ?0 and a set of special values called NaNs (Not-a-Number). Arithmetic operations include operations on numeric, non-numeric or mixed operands in four rounding modes. A number of exceptional situations may arise dur...
متن کاملInterval Arithmetic : from Principles toImplementationT
We start with a mathematical deenition of a real interval as a closed, connected set of reals. Interval arithmetic operations (addition, subtraction, multiplication and division) are likewise deened mathematically and we provide algorithms for computing these operations assuming exact real arithmetic. Next, we deene interval arithmetic operations on intervals with IEEE 754 oating point endpoint...
متن کاملArithmetic Aggregation Operators for Interval-valued Intuitionistic Linguistic Variables and Application to Multi-attribute Group Decision Making
The intuitionistic linguistic set (ILS) is an extension of linguisitc variable. To overcome the drawback of using single real number to represent membership degree and non-membership degree for ILS, the concept of interval-valued intuitionistic linguistic set (IVILS) is introduced through representing the membership degree and non-membership degree with intervals for ILS in this paper. The oper...
متن کاملIntroduction to the IEEE 1788-2015 Standard for Interval Arithmetic
Interval arithmetic is a tool of choice for numerical software verification, as every result computed using this arithmetic is self-verified: every result is an interval that is guaranteed to contain the exact numerical values, regardless of uncertainty or roundoff errors. From 2008 to 2015, interval arithmetic underwent a standardization effort, resulting in the IEEE 1788-2015 standard. The ma...
متن کامل